Buy Used and New John Penix Books

SPIN Model Checking and Software Verification: 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings (Lecture Notes in Computer Science)

by Willem Visser,John Penix,Klaus Havelund

ISBN 13: 9783540410300

Format: Paperback (343 pages)
Publisher: Springer
Published: 21 Aug 2000

Save for later